Nuprl Definition : eclact 11,40
eclact(a; n) == inr inr inr inr inr (inl <a, n> )      
latex

Definitionsinr x , inl x , <a, b>
FDL editor aliaseseclact, eclact

origin